Types-list -- TYPES forum | ||||||||||||||||||||||||
|
||||||||||||||||||||||||
The TYPES Forum | ||||||||||||||||||||||||
TYPES is a moderated e-mail forum focusing on Type Theory in Computer
Science, with a broad view of the subject encompassing semantical,
categorical, operational, and proof theoretical topics, as well as
algorithmic issues and applications. Typical topics include:
Typed, untyped, or polymorphic lambda calculus; type checking, inference, and reconstruction; subtyping, dependent types, calculus of constructions, the lambda cube; linear logic, the Curry-Howard correspondence; recursive types; adequate and fully abstract models; domain theory; category theory; term reduction, normalization, confluence; abstract data types; type systems for object-oriented, concurrent, distributed, and mobile programming.Comments and criticisms of results in the literature, open problems, and research queries are encouraged. Announcements of relevant meetings, publications, and abstracts of papers should be sent to the list types-announce@lists.seas.upenn.edu.
Archives: The current archive contains messages sent since September 2003. Earlier messages appear in this archive. To see the collection of prior postings to the list, visit the . -->A mail-to-news gateway for TYPES is accessible from nntp://news.gmane.io/gmane.comp.science.types (thanks to Leonid Dubinsky). |
||||||||||||||||||||||||
Moderation: | ||||||||||||||||||||||||
The mailing-list is moderated with an attention to keeping the list useful for a wide audience, in particular by reducing list volume. Our experience is that many mailing-list readers are inconvenienced by high-volume discussions. This is an editorial process, rather than just filtering spam. In particular, emails may be discarded because (according to the subjective view of the moderator) they are redundant with other messages, because they do not add enough to the discussion, because types-list is not the best forum for them, or because they risk creating sub-threads that unproductive or in poor form. Unfortunately the mailing-list process does not allow us to provide much transparency on moderation decisions. Messages can only be accepted or rejected, and there is no tooling support to provide a public view of moderation decisions. When in doubt, feel free to ask the list moderator. There is a corresponding Types Zulip Chat that is more appropriate for long conversations or meta-discussion aspects. In particular, it is the preferred venue for discussions on Types-list standards and moderation process. |
||||||||||||||||||||||||
Submission instructions: | ||||||||||||||||||||||||
To post a message to all the list members, send email to
types-list@lists.seas.upenn.edu.
You can subscribe to the list, or change your existing subscription, in the sections below. |
||||||||||||||||||||||||
Subscribing to TYPES | ||||||||||||||||||||||||
You may subscribe to TYPES by filling out the following form. Note that this ONLY subscribes you to the TYPES discussion list. If you would like to also receive announcements, you should also subscribe to the list types-announce. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator.
|
||||||||||||||||||||||||
Types-list History | ||||||||||||||||||||||||
The Types Forum was originated by Albert Meyer and continued by Philip Wadler, Benjamin Pierce, Stephanie Weirich, Derek Dreyer, Dimitrios Vytiniotis, and Gabriel Scherer, The list is currently moderated by Ningning Xie. |
version 2.1.30 |